Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
81	Underquantification: an application to mass terms Aurelie Herbelot and Ann Copestake University of Cambridge, Computer Laboratory, J. J. Thomson Avenue, Cambridge, United Kingdom , Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-01-05 13:33:14 Quantification Grammatical number Predicate logic Parts of speech Ontology Mass noun Mereology Classifier Count noun Quantifier Plural quantification Noun
82	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 27–51 http://www.cssp.cnrs.fr/eiss8 Move and accommodate: Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:01 Semantics Philosophy of language Quantification Predicate logic Pragmatics Presupposition Definite description Quantifier Proposition Generalized quantifier Accommodation Boolean algebra
83	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.org Language: English - Date: 2016-07-29 01:16:07 Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar Automated proof checking Quantifier
84	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
85	Chapter 8 A general theory of singularities: Preliminaries I turn now to a general theory of singularities. This chapter covers some preliminary matters, and the formal theory is presented in the next chapter. Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-23 15:30:59 Philosophical logic Semantics Theories of truth Philosophy of language Meaning Truth Predicate
86	Homework 5 Philosophy 240 — Kenny Easwaran April 28, 2016 Write up this homework assignment on a clean sheet of paper, and indicate who you worked with. (Keep in mind the group work policy about how everyone should con Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Predicate logic Quantification Semantics Model theory Logic First-order logic Quantifier Predicate Universal quantification FO Karel Lambert Plural quantification
87	On Ontology and Epistemology of Rough Location Thomas Bittner Department of Geoinformation Technical University Vienna Gusshausstr, A-1040 Vienna, Austria Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Ontology Mathematical logic Mereology Predicate logic Geographic information system Rough set Topology Mereotopology
88	N. Kobayashi and B. C. Pierce (Eds): Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), LNCS Vol. 2215, pp. 219–242, 2001. c Springer-Verlag Berlin Heidelberg 2001 Nominal Logic: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2001-10-22 05:59:46 Model theory Automated theorem proving Logic programming First-order logic Predicate logic Symbol Substitution Constructible universe Interpretation
89	Philosophy 240 Sample Final Kenny Easwaran May 5, 2016 Name: Create two arguments: (I have five in the sample, but the real final will just have two.) Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Arguments Predicate logic Logical consequence Reasoning Classical logic Validity First-order logic Propositional calculus Logic Atomic sentence Corresponding conditional Inference
90	The ecce Partial Deduction System Michael Leuschel K.U. Leuven, Department of Computer Science Celestijnenlaan 200 A, B-3001 Heverlee, Belgium e-mail: Fax: ++at DIKU, Copenhagen) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:02 Predicate logic Universal generalization